\Slide{Important dataflow analysis methods}{
{\small
\B
\item {\tt createFact}: create a new dataflow fact object
\item {\tt copy}: make destination fact object identical
      to the source fact object
\item {\tt initEntryFact}: 
      get the fact true at the beginning of
      the CFG entry block
\item {\tt makeFactTop}: set a fact object so that it is
      equal to the Top fact
\item {\tt isTop}: return whether or not given fact
      is equal to the Top fact
\item {\tt same}: return whether or not two fact
      objects are equal in value
\E
}
}
